Koha online

1.
Logic for computer scientists

by Schoning, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 1989Availability: Items available for loan: [Call number: 511.3 SCH] (1).
Place hold
2.
Discrete structures, logic, and computability

by Hein, James L.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sudbury: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 004.0151 HEI] (1).
Place hold
3.
Haskell road to logic, maths and programming

by Doets, Kees | Eijck, J. van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
Place hold

Powered by Koha